Joseph Goguen: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (10)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs

Joseph A. Goguen, Grant Malcolm

Рік:

1996

Мова:

english

Файл:

PDF, 25.90 MB

0 / 0

english, 1996

2

Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs

Joseph A. Goguen, Grant Malcolm

Рік:

1996

Мова:

english

Файл:

DJVU, 1.53 MB

0 / 0

english, 1996

3

Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

Joseph Goguen, Grant Malcolm

Рік:

1996

Мова:

english

Файл:

DJVU, 1.32 MB

0 / 0

english, 1996

4

Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

Рік:

2000

Мова:

english

Файл:

PDF, 10.29 MB

0 / 0

english, 2000

5

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Springer Netherlands

Joseph A Goguen (auth.), Kecheng Liu (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 2.24 MB

0 / 0

english, 2005

6

Formal Methods in Systems Engineering

Formal Methods in Systems Engineering

Springer-Verlag London

Joseph A. Goguen (auth.), Peter Ryan BSc, PhD, Chris Sennett MA, DPhil (eds.)

Рік:

1993

Мова:

english

Файл:

PDF, 8.36 MB

0 / 0

english, 1993

7

Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

Рік:

2000

Мова:

english

Файл:

DJVU, 3.20 MB

0 / 0

english, 2000

8

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 3.84 MB

0 / 0

english, 1994

9

Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings

Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen (auth.), Hélène Kirchner, Wolfgang Wechler (eds.)

Рік:

1990

Мова:

english

Файл:

DJVU, 3.44 MB

0 / 0

english, 1990

10

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

Рік:

1987

Мова:

english

Файл:

DJVU, 3.99 MB

0 / 0

english, 1987